An Algebraic Study of the First Order Version of some Implicational Fragments of Three-Valued ?ukasiewicz Logic
نویسندگان
چکیده
In this paper, some implicational fragments of trivalent ?ukasiewicz logic are studied and the propositional first-order presented. The maximal consistent theories as Monteiro’s deductive systems Lindenbaum-Tarski algebra in both cases. Consequently, adequacy theorems with respect to suitable algebraic structures proven.
منابع مشابه
an investigation of the types of text reduction in subtitling: a case study of the persian film gilaneh with english subtitles
چکیده ندارد.
15 صفحه اولstudy of cohesive devices in the textbook of english for the students of apsychology by rastegarpour
this study investigates the cohesive devices used in the textbook of english for the students of psychology. the research questions and hypotheses in the present study are based on what frequency and distribution of grammatical and lexical cohesive devices are. then, to answer the questions all grammatical and lexical cohesive devices in reading comprehension passages from 6 units of 21units th...
a comparative study of the theme of "marriage" in three victorian novelists: charles dickens, george eliot and thomas hardy
این تحقیق کوشیده است با انتخاب پنج رمان از میان آثار برگزیده، «چارلز دیکنز»، «جورج الیوت» و «توماس هاردی » و با رویکردی تطبیقی به بررسی درونمایه ی «ازدواج» در آثار این سه رمان نویس بزرگ دوره ی ویکتوریا بپردازد. فرضیه ی اولیه ی تحقیق این بوده است که چارلز دیکنز (1870- 1812) با زبانی شوخ و گزنده، جورج الیوت(1880- 1819) با نگاهی آموزشی–اندرزگونه و توماس هاردی(1928- 1840) با رویکردی تلخ وانتقادی به...
design of an analog fuzzy logic controller chip
fuzzy logic has been developed over the past three decades into a widely applied techinque in classification and control engineering. today fuzzy logic control is one of the most important applications of fuzzy set theory and specially fuzzy logic. there are two general approachs for using of fuzzy control, software and hardware. integrated circuits as a solution for hardware realization are us...
15 صفحه اولan application of fuzzy logic for car insurance underwriting
در ایران بیمه خودرو سهم بزرگی در صنعت بیمه دارد. تعیین حق بیمه مناسب و عادلانه نیازمند طبقه بندی خریداران بیمه نامه براساس خطرات احتمالی آنها است. عوامل ریسکی فراوانی می تواند بر این قیمت گذاری تاثیر بگذارد. طبقه بندی و تعیین میزان تاثیر گذاری هر عامل ریسکی بر قیمت گذاری بیمه خودرو پیچیدگی خاصی دارد. در این پایان نامه سعی در ارائه راهی جدید برای طبقه بندی عوامل ریسکی با استفاده از اصول و روش ها...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computación Y Sistemas
سال: 2022
ISSN: ['1405-5546', '2007-9737']
DOI: https://doi.org/10.13053/cys-26-2-4246